Contents Special Issue : Recent Advances in Computer Science and Engineering

SPECIAL ISSUE PAPERS An Effective Adaptive Multi-objective Particle Swarm for Multimodal Consreained Function Optimization Yongquan Zhou and Shengyu Pei Research on Formal Verification Technique for Aircraft Safety-Critical Software Yongfeng Yin, Bin Liu, and Duo Su Determination of Optimal SVM Parameters by Using GA/PSO Yuan Ren and Guangchen Bai Water Resources Allocation Effect Evaluation Based on Chaotic Neural Network Model Xianfeng Huang and Guohua Fang A Large-Scale Device Collaboration Performance Evaluation Approach Based-on Dynamics Xiaohui Rong, Feng Chen, Pan Deng, and Shilong Ma Annotating Web Image using Parallel Graph Bipartition and Word Clustering Zheng Liu Power Aware Job Scheduling in Multi-Processor System with Service Level Agreements Constraints Congfeng Jiang, Jian Wan, Xindong You, and Yinghui Zhao Transaction in Large-scale Device Collaborative System Feng Chen, Xiaohui Rong, Pan Deng, and Shilong Ma The Entropy Model of Fractal Supply Chain Network System Based on Fuzzy AHP Xilong Qu and Zhongxiao Hao A Useful Anomaly Intrusion Detection Method Using Variable-length Patterns and Average Hamming Distance Ye Du, Ruhui Zhang, and Youyan Guo 1144